#include <types.h>
#include <platform.h>
#include <mm.h>
#include <context.h>
#include <fmt.h>
#include <trap.h>
#include <console.h>

/* user proc */
void os_main(void);

/* intr */
void intr_enable(void);
void intr_disable(void);
void timer_intr_enable(void);
void ex_intr_enable(void);

